INDIRECT PROOF